1. The modelling and analysis of security protocols :
پدیدآورنده : P.Y.A. Ryan and S.A. Schneider, with M.H. Goldsmith, G. Lowe and A.W. Roscoe
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer network protocols,Computer networks-- Security measures,Computer security-- Mathematical models,Computer software-- Verification,Computers-- Access control,Cryptography
رده :
TK5105
.
59
.
R93
2001
